Wyniki
-
Resolution system for ω+-valued logic
Ewa Orłowska
Bulletin of the Section of Logic , 7 /2 (1978) s. 68-74 -
Logic of vague concepts
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 115-122 -
Tense logic for nondeterministic time
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 127-131 -
Logic for reasoning about knowledge
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 26-38 -
A logic with relevant inplication
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 39-45 -
Three aspects of verisimilitude : part I
Ewa Orłowska
Bulletin of the Section of Logic , 16 /3 (1987) s. 96-106 -
Three aspects of verisimilitude : part II
Ewa Orłowska
Bulletin of the Section of Logic , 16 /4 (1987) s. 140-150 -
Relational interpretation of modal logics
Ewa Orłowska
Bulletin of the Section of Logic , 17 /1 (1988) s. 2-14 -
Interpretation of dynamic logic in the relational calculus
Ewa Orłowska
Bulletin of the Section of Logic , 18 /4 (1989) s. 132-137 -
Interpretation of relevant logics in a logic of ternary relations
Ewa Orłowska
Bulletin of the Section of Logic , 19 /2 (1990) s. 39-48 -
Post relation algebra
Ewa Orłowska
Bulletin of the Section of Logic , 20 /1 (1991) s. 14-31 -
Treshold Logic
Ewa orłowska
Bulletin of the Section of Logic , 1 /3 (1972) s. 20-27 -
A class of modal logics with a finite model property with respect to the set of M-formulae
Stephane Demri, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 39-49 -
Relational logics for formalization of database dependencies
Wojciech Buszkowski, Ewa Orłowska
Bulletin of the Section of Logic , 27 /3 (1998) s. 138-143 -
Mixing modal and sufficiency operators
Ivo Duntsch, Ewa Orłowska
Bulletin of the Section of Logic , 28 /2 (1999) s. 99-107 -
Equational reasoning in non-classical logics
Marcelo F. Frias, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 2-11 -
On intermediate logics which can be axiomatised by means of implicationless formulas
Ewa Capińska
Bulletin of the Section of Logic , 8 /4 (1979) s. 197-201 -
On standard consequence operations in the implicationless language
Ewa Capińska
Bulletin of the Section of Logic , 8 /4 (1979) s. 202-204 -
On regular and symmetric identities
Ewa Graczyńska
Bulletin of the Section of Logic , 10 /3 (1981) s. 104-107 -
On regular and symmetric identities II
Ewa Graczyńska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 100-102